linear programming, dynamic programming, mathematical modeling/programming, constraint programming, integer programming, operation research, graph theory and ...
advanced algorithm design

advanced algorithms

complexity analyzing

exam scheduler

Hamiltonian-cycle problem

maximal independent set

maximal match

maximal SAT

minimal vertex covering

non-linear data compression

NP-complete problem solving

optimal matches

optimal path

SAT solver

searching in varied context

set-covering problems

sokudo game

www.opsolver.com - 2009-02-10